\usepackage[utf8x]{inputenc}

%\usepackage[T1]{fontenc} 
\usepackage{times}

\usepackage[english]{babel}
\usepackage{xspace}
\usepackage{float}
\usepackage{amstext, amssymb, amsfonts, amsmath}
%\usepackage{amsthm}
\usepackage{latexsym}
\usepackage{stmaryrd}
\usepackage{float}
\usepackage{graphicx}
\usepackage{setspace}


\usepackage{enumerate}
%\usepackage{times}
\usepackage{color}
\usepackage{url}
\usepackage[bookmarks]{hyperref}

\usepackage{subfigure}
\usepackage{tikz}
\usetikzlibrary{arrows,shapes,decorations,automata,backgrounds,petri}

\usepackage{relsize}

\pagestyle{plain}

%%
%\newtheorem{theorem}{Theorem}%[section]
%\newtheorem*{theorem}{Theorem}
%\newtheorem{lemma}[theorem]{Lemma}
%%\newtheorem{lemma*}{Lemma}
%\newtheorem{proposition}[theorem]{Proposition}
%%\newtheorem{property}[theorem]{Property}
%\newtheorem{corollary}{Corollary}
\newtheorem{newnotation}[theorem]{Notation}
%%\newtheorem{convention}[theorem]{Convention}
%%%\newtheorem*{claim}{Claim}
%\newtheorem{definition}[theorem]{Definition}
%%
%%%\theoremstyle{definition}
%\newtheorem{example}{Example}
%\newcommand{\be}{\begin{example}}
%\newcommand{\ee}{\end{example}}
%
%%\theoremstyle{remark}
%\newtheorem{remark}[theorem]{Remark}
%\newtheorem{criteria}[theorem]{Criteria}
